Error Parsing the Output

Exception

Traceback (most recent call last):

  File "./aprove_wst2007nosplit.py", line 248, in prover_aprove
    time = conv_timeline(err.readline())

  File "./aprove_wst2007nosplit.py", line 83, in conv_timeline
    line = line.strip().split("\t")[1]

IndexError: list index out of range

Standard Out

CompilerOracle: exclude org/eclipse/jdt/internal/compiler/parser/Scanner optimized
CompilerOracle: exclude org/eclipse/jdt/internal/core/util/CommentRecorderScanner recordComment
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayReader iff2Clause
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayReader xor2Clause
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter iff2Clause
CompilerOracle: exclude org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter xor2Clause
### Excluding compile:  org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter::xor2Clause
### Excluding compile:  org.sat4j.tools.ExtendedDimacsArrayToDimacsConverter::iff2Clause

Standard Error

java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:151)
	at aprove.DPFramework.Orders.Solvers.MATROSolver.solve(MATROSolver.java:351)
	at aprove.DPFramework.DPProblem.Solvers.QDPMatroSolver.solve(QDPMatroSolver.java:54)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:154)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)
java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.DPFramework.DPProblem.Solvers.QDPSATPOSolver.solve(QDPSATPOSolver.java:61)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:154)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)
java.io.IOException: Stream closed
	at java.io.BufferedInputStream.getBufIfOpen(BufferedInputStream.java:145)
	at java.io.BufferedInputStream.read(BufferedInputStream.java:304)
	at sun.nio.cs.StreamDecoder$CharsetSD.readBytes(StreamDecoder.java:411)
	at sun.nio.cs.StreamDecoder$CharsetSD.implRead(StreamDecoder.java:453)
	at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:183)
	at java.io.InputStreamReader.read(InputStreamReader.java:167)
	at java.io.BufferedReader.fill(BufferedReader.java:136)
	at java.io.BufferedReader.readLine(BufferedReader.java:299)
	at java.io.BufferedReader.readLine(BufferedReader.java:362)
	at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:62)
	at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:151)
	at aprove.DPFramework.Orders.Solvers.MATROSolver.solve(MATROSolver.java:351)
	at aprove.DPFramework.DPProblem.Solvers.QDPMatroSolver.solve(QDPMatroSolver.java:54)
	at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:154)
	at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:52)
	at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:207)
	at aprove.Strategies.ExecutableStrategies.Executor$Runner.run(Executor.java:218)